Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
901	CHALLENGING PARADIGMS IN HEALTH INFORMATICS By Vivek Singh Add to Reading List Source URL: assets.thoughtworks.com Language: English - Date: 2015-03-12 15:18:34 Technology Health informatics Formal methods Telehealth Medical informatics ThoughtWorks Agile software development Open-source software EHealth Software development Health Software project management
902	Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-06-03 12:43:37 Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics
903	Infrastructure Projects Collaborative Working in Infrastructure Projects Neill Carruthers Add to Reading List Source URL: www.networkrail.co.uk Language: English Information technology management Formal methods Software development process
904	Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Formal methods Entailment Logical consequence Metalogic Symbol Function Lambda calculus Linear temporal logic Logic Mathematics Deduction
905	Bailey, T. M. & Pothos, E. MAGL StimSelect: Software for automated selection of stimuli for artificial grammar learning. Behavior Research Methods, 40(1), ppdoi: BRM Add to Reading List Source URL: openaccess.city.ac.uk Language: English - Date: 2014-11-10 09:32:10 Formal languages Formal grammar Indirect tests of memory
906	FM 2015 Call for Papers 20th International Symposium on Formal Methods Oslo, Norway, 22–26 June 2015 http://fm2015.ifi.uio.no Formal Methods 2015 Add to Reading List Source URL: fm2015.ifi.uio.no Language: English - Date: 2014-09-02 17:56:51 International nongovernmental organizations Dines Bjørner Formal Methods Europe Software development process Academia Programming tool Systems engineering Science Software development Formal methods
907	Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:24:37 Binary decision diagram Model checking Software metrics Software engineering Modified condition/decision coverage Code coverage Mathematics Formal methods Software testing Boolean algebra Diagrams
908	Formal Specification and Verification of ARM6 M.J.C. Gordon Computer Laboratory University of Cambridge Final Report to EPSRC on grant GR/N13135 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-09 11:49:11 Formal methods Central processing unit ARM architecture Logic in computer science Formal verification Theoretical computer science ARM7 Formal specification Microprocessor Electronic engineering Computer architecture Computer hardware
909	BitScope: Automatically Dissecting Malicious Binaries David Brumley, Cody Hartwig, Min Gyung Kang, Zhenkai Liang James Newsome, Pongsin Poosankam, Dawn Song, Heng Yin March 18, 2007 Last Modified: May 23, 2007 CMU-CS-07- Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Symbolic execution Software engineering Programming language implementation Malware Algorithm Assembly language KeY Computer program Software bug Computing Formal methods Abstract interpretation
910	best practices takes Prospecting Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:15:07 Software Formal methods The Mythical Man-Month Software development process Project management Rapid application development Software development Software project management Software engineering

UPDATE